Philosophie Lexikon der ArgumenteHome | |||
| |||
Leopold Löwenheim: Leopold Löwenheim (1878-1957) war ein deutscher Mathematiker, der sich mit mathematischer Logik beschäftigte. Er ist vor allem für den Löwenheim-Skolem-Satz bekannt, der besagt, dass jede Theorie erster Ordnung mit einem unendlichen Modell auch ein abzählbares Modell hat. Siehe auch Modelle, Modelltheorie, Erfüllung, Erfüllbarkeit, Unendlichkeit, Abzählbarkeit, Reelle Zahlen, Zahlen, Wortbedeutung, Satzbedeutung, Referenz, Mehrdeutigkeit._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Kurt Gödel über Löwenheim, Satz v. – Lexikon der Argumente
Berka I 314 Löwenheim-Skolem/Allgemeingültigkeit/Gödel: Wenn etwas "in jedem Individuenbereich allgemeingültig" ist, dann besagt das dasselbe wie "im abzählbaren Individuenbereich allgemeingültig".(1) >Gültigkeit, >Allgemeingültigkeit/Gödel, >Allgemeingültigkeit, >Bereiche, >Individuenbereiche, >Abzählbarkeit. 1. K. Gödel: Die Vollständigkeit der Axiome des logischen Funktionenkalküls, in: Mh, Math. Phys. 37 (1930) 349-360._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Göd II Kurt Gödel Collected Works: Volume II: Publications 1938-1974 Oxford 1990 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |